#undef CONFIG_IPMI_HANDLER
